Deriving Grid Applications from Abstract Models
نویسندگان
چکیده
An Orc-based abstract model of grid computation is used as a basis for re-engineering a grid-oriented skeleton based programming environment to remove one of the skeleton system’s recognized weak points. Lightweight reasoning about non-functional properties is used to guide the redesign of the system. It is argued that such a use of a formal model delivers significant return for small investment. The approach is then extended by enhancing Orc specifications with metadata to capture non-functional properties of systems being specified. It is shown that this approach allows reasoning about cost and security in a qualitive way that is consistent with actual experimental results.
منابع مشابه
Uncertainties associated with digital elevation models
Introduction Conclusions References Tables Figures Back Close Full Screen / Esc Papers published in Hydrology and Earth System Sciences Discussions are under open-access review for the journal Hydrology and Earth System Sciences Abstract Introduction Conclusions References Tables Figures Back Close Full Screen / Esc Abstract Digital elevation models (DEMs) represent the topography that drives s...
متن کاملA Novel Molecular Descriptor Derived from Weighted Line Graph
The Bertz indices, derived by counting the number of connecting edges of line graphs of a molecule were used in deriving the QSPR models for the physicochemical properties of alkanes. The inability of these indices to identify the hetero centre in a chemical compound restricted their applications to hydrocarbons only. In the present work, a novel molecular descriptor has been derived from the w...
متن کاملApplication of Big Data Analytics in Power Distribution Network
Smart grid enhances optimization in generation, distribution and consumption of the electricity by integrating information and communication technologies into the grid. Today, utilities are moving towards smart grid applications, most common one being deployment of smart meters in advanced metering infrastructure, and the first technical challenge they face is the huge volume of data generated ...
متن کاملThe PAGIS Grid Application Environment
Although current programming models provide adequate performance, many prove inadequate to support the effective development of efficient Grid applications. Many of the hard issues, such as the dynamic nature of the Grid environment, are left to the programmer. We are developing a programming model that incorporates a familiar, formal computational model and a reflective interface. The programm...
متن کاملFrom Models to Interactive Systems Tool Support and XIML
Transformation by patterns ABSTRACT This paper proposes a model-based approach for developing interactive applications. In particular a tool for deriving the navigational structure of the UI from task, object, user and device models is introduced. The editor is based on the XIML technology and allows simulations considering temporal relations between task and design decisions for the navigation...
متن کامل